14

Parallel implementation and optimization of the Sebvhos algorithm

Year:
2011
Language:
english
File:
PDF, 271 KB
english, 2011
31

The Gauge Integral Theory in HOL4

Year:
2013
Language:
english
File:
PDF, 155 KB
english, 2013
32

Formalization of Function Matrix Theory in HOL

Year:
2014
Language:
english
File:
PDF, 241 KB
english, 2014